منابع مشابه
Donation after cardiocirculatory death: a call for a moratorium pending full public disclosure and fully informed consent
Many believe that the ethical problems of donation after cardiocirculatory death (DCD) have been "worked out" and that it is unclear why DCD should be resisted. In this paper we will argue that DCD donors may not yet be dead, and therefore that organ donation during DCD may violate the dead donor rule. We first present a description of the process of DCD and the standard ethical rationale for t...
متن کاملImplementing Open Call-by-Value (Extended Version)
The theory of the call-by-value λ-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are required. Open call-by-value is the intermediate setting of weak evaluation with open terms, on top of which Grégoire and Leroy designed the abstract machine of Coq. This...
متن کاملOpen Call-by-Value (Extended Version)
The elegant theory of the call-by-value lambda-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To model proof assistants, however, strong evaluation and open terms are required, and it is well known that the operational semantics of call-by-value becomes problematic in this case. Here we study the intermediate setting—that ...
متن کاملCall-by-value Games (extended Abstract)
A general construction of models of call-by-value from models of call-by-name computation is described. The construction relies on the fact that common denotational models of programming languages are also models of linear logic. When applied to categories of games, it yields fully abstract models of the call-by-value functional language PCFv and of a language with imperative features similar t...
متن کاملCross Layer Extended Parameter Call Admission Control for Future Networks
The Next Generation Network (NGN) is to deliver anything, anytime anywhere with full quality of service (QoS) guarantees. The network designers need to overcome the NGN’s challenges namely; heterogeneous wireless access environments, multiple traffic types, flexible bandwidth allocation and cross layer design issues among others. To guarantee quality of service for these NGN’s, a call admission...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1993
ISSN: 0028-0836,1476-4687
DOI: 10.1038/364189a0